机译:使用带有OCL约束的UML类图测试Web应用程序的数据生成
机译:使用带有OCL约束的UML类图测试Web应用程序的数据生成
机译:从UML / OCL模型生成有效的测试用例,以应对复杂的安全关键型系统
机译:用于UML / OCL的基于规范的测试用例生成方法
机译:基于规范的测试用例生成机制,用于面向服务的软件测试。
机译:具有定义的统计属性的合成转录组数据的生成用于开发和测试新的分析方法
机译:使用UmL状态图和OCL表达式生成测试用例
机译:使用sCR生成基于规范的自动化测试用例